Skip to content

Conversation

aaronlehmann
Copy link
Contributor

Instead of listing all workspaces matching the filter, get info about the specific workspace the user is trying to connect to. This lets jetbrains-gateway:// links to others' workspaces work without needing to modify the workspace filter parameter.

…ature

Instead of listing all workspaces matching the filter, get info about
the specific workspace the user is trying to connect to. This lets
jetbrains-gateway:// links to others' workspaces work without needing to
modify the workspace filter parameter.
Copy link
Collaborator

@bcpeinhardt bcpeinhardt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@bcpeinhardt bcpeinhardt merged commit 74ad635 into coder:main Mar 7, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants